This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
WeiterlesenThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
WeiterlesenThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
WeiterlesenThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
WeiterlesenThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
WeiterlesenThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
WeiterlesenThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
WeiterlesenThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
WeiterlesenThese are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
WeiterlesenThese are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
WeiterlesenThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
WeiterlesenThe 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
WeiterlesenThis book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
WeiterlesenThe present book includes a set of selected papers from the 3rd “International Conference on Informatics in Control Automation ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Conference on Information Systems Security, ICISS ...
WeiterlesenAgents perform actions based on the available information and in the presence of other interacting agents. From this perspective ...
WeiterlesenOne of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
WeiterlesenThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Weiterlesen